Auteurs
Analysis
France
Racine
Analysis
France
Exploration
Accueil
Racine
Racine

Serveur d'exploration Bourbaki - Analysis (France)

Index « Auteurs » - entrée « Cosimo Laneve »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Cornelius Castoriadis < Cosimo Laneve < Cumrun Vafa  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000567 (1995) Andrea Asperti [Italie] ; Cosimo Laneve [France]Paths, computations and labels in the λ-calculus

List of associated KwdEn.i

Nombre de
documents		Descripteur
1Access path
1Ancestor
1Application node
1Asperti
1Atomic labels
1Basic case
1Bijective correspondence
1Binder
1Canonical
1Canonical derivation
1Canonical derivations
1Computer science
1Contract redexes
1Derivation
1Different paths
1Discriminants
1Extraction process
1Extraction relation
1Family relation
1Inductive hypothesis
1Initial term
1Intuitive tool
1Lambda
1Laneve
1Leftmost outermost redex
1Legal path
1Legal paths
1Node
1Optimal reductions
1Original term
1Prerequisite chain
1Prerequisite chains
1Principal port
1Programming languages
1Redex
1Redex families
1Redex family
1Redexes
1Reduction isomorphic
1Residual
1Return paths
1Same family
1Search algorithm
1Simple proof
1Standard derivations
1Subpath

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/France/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Author.i -k "Cosimo Laneve" 

HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Author.i  \
                -Sk "Cosimo Laneve" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/France/Analysis/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    France
   |étape=   Analysis
   |type=    indexItem
   |index=    Author.i
   |clé=    Cosimo Laneve
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022